/**
 * CharSeparator
 */

/**
 * @author oop tuwien
 *
 */
public interface CharSeparator extends Separator {
	public void setChar(char c, int num);
}
